modus tollens

method of removing

Notes

Loosely "method of denying", a logical rule of inference stating that from propositions if P then Q and not Q, then one can conclude not P.